did{-}forward(${\it es}$; ${\it Sys}$; $f$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$a$:E(${\it Sys}$). ($f$($a$) = $e$ \& ($\neg$(loc($f$($a$)) = loc($a$))))